1. Algebras and Orders
پدیدآورنده : edited by Ivo G. Rosenberg, Gert Sabidussi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Computational complexity.,Mathematics.
رده :
QA251
.
E358
1993
2. Boolean constructions in universal algebras
پدیدآورنده : Pinus, Aleksandr Georgievich
موضوع : ، Algebra, Boolean,، Algebra, Universal
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Digital principles switching theory /
پدیدآورنده : A.K. Singh, Manish Tiwari, Arun Prakash.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Digital electronics.,Switching theory.,Digital electronics.,Switching theory.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7868
.
D5
S56
2006eb
4. Don Pigozzi on abstract algebraic logic, universal algebra, and computer science /
پدیدآورنده : Janusz Czelakowski, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Pigozzi, Don,1935-,Algebra, Universal.,Algebraic logic.,Computer science.,Mathematicians-- United States.,Algebra, Universal.,Algebraic logic.,Computer science.,Mathematicians.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,United States., 7
رده :
QA29
.
P54
5. Foundation of switching theory and logic design /
پدیدآورنده : A.K. Singh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic design.,Switching theory.,Logic design.,Switching theory.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7868
.
S9
S56
2008eb
6. Introduction to discrete mathematics via logic and proof /
پدیدآورنده : Calvin Jongsma.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Discrete mathematics.,Discrete mathematics.
رده :
QA297
.
4
7. Pragmatic logic /
پدیدآورنده : William J. Eccles.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic circuits.,COMPUTERS-- Logic Design.,Logic circuits.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.
رده :
TK7868
.
L6
E23
2007
8. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
9. The Physics of Structure Formation :
پدیدآورنده : edited by Werner Güttinger, Gerhard Dangelmayr.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematical physics.,Physics.,Thermodynamics.
رده :
QC20
.
7
.
N6
E358
1987
10. Universal Algebra, Algebraic Logic, and Databases
پدیدآورنده : by B. Plotkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra, Universal.,Algebraic logic.,Databases.
رده :
QA251
.
B937
1994
